»Liquid Selves«: Zur Transformation von Körpern

Computergestützte Planung von Hüftoperationen in virtuellen Körpern

Zusammenfassung. Innerhalb dieses Beitrages wird ein Softwaresystem zur Planung und Simulation von Hüftund Beckenoperationen an virtuellen 3DModellen vorgestellt. Ausgangsbasis für die Erstellung der dreidimensionalen Modelle der Hüfte bilden räumliche CT-Bildfolgen, in denen die Knochenstrukturen der Hüfte segmentiert werden. Durch speziell auf die orthopädischen Anforderungen abgestimmte 3D-I...

Transformation von Scade-Modellen zur SMT-basierten Verifikation

In dieser Arbeit wird ein Verfahren zur vollautomatischen Verifikation von Sicherheitseigenschaften von Scade-Modellen entwickelt. Dazu transformieren wir jedes dieser Modelle in eine SMT-Instanz (Satisfiability Modulo Theories) und übergeben dies an einen Solver. SMT wurde gewählt, da es Logiken umfasst die ausdrucksstärker als Aussagenlogik sind, während deren Solver sehr gute Geschwindigkeit...

Objektorientierte Graphendarstellung von Simulink-Modellen zur einfachen Analyse und Transformation

Für die Erstellung von cyberphysikalischen Systemen ist die modellbasierte Entwicklung ein Standardwerkzeug, da es die Erstellung komplexer Systeme vereinfacht und übersichtlich ermöglicht. Durch die Simulation lassen sich Verifikationen bereits in sehr frühen Entwicklungsstadien durchführen. Eines der am häufigsten eingesetzten Werkzeuge in diesem Bereich ist MATLAB/Simulink. In Simulink könne...

Methoden zur Transformation von Linear Assets in geografische Koordinaten­referenzsysteme

Die geometrischen Informationen eines Gleisverlaufes sowie die Infrastrukturelemente entlang des Gleises werden entlang desselben verortet. Die Gleisgeometrieelemente werden mit deren traditionellen Trassierungsparametern hochgenau relativ beschrieben. Liegen hingegen die Geometrieelemente und – allgemeiner – die am Gleis verorteten Assets in geografischen Koordinaten vor, können darauf aufbaue...

Robotergestützte Modellidentifikation und Simulation von deformierbaren Körpern für haptische Anwendungen